int64 empty_int64
